上位型 (supertype)